<div style="margin: 10px;">
  <div><strong>Profile tree filter</strong></div>
  Use spaces to separate multiple terms.
  Add a minus in front of a term to exclude stack traces containing that text.
  <span style="white-space: nowrap;">E.g. <em>one two -three</em></span>
</div>
